Indovinello logico

Un indovinello logico è un gioco di logica posto nella forma di una domanda alla quale si possa rispondere solo per via di intuizione o di ragionamento (non quindi in virtù della conoscenza di nozioni specifiche). Come per tutti i giochi di logica, un indovinello logico dovrebbe avere una base matematica o logica, sebbene siano anche molto diffusi gli indovinelli apparentemente logici e che, una volta risolti, rivelano una natura più o meno umoristica; per esempio per il fatto di essere basati su giochi di parole o perché la difficoltà di soluzione è principalmente dovuta al modo deviante in cui è posta la domanda (tranello). Gli indovinelli logici basati su giochi di parole o tranelli nella formulazione della domanda sono, per certi versi, quelli che presentano maggiori analogie con il concetto tradizionale di indovinello dell'enigmistica.

Uno schema piuttosto tipico di molti indovinelli logici consiste nel presentare una situazione paradossale, e nel chiedere all'aspirante risolutore del gioco di mostrare come sia possibile la situazione descritta. Gli indovinelli logici paradossali sono fra quelli più interessanti per i logici (se non addirittura per i filosofi), in quanto illustrano i possibili modi in cui un ragionamento apparentemente esatto può nascondere un errore. In un certo senso, quasi tutti gli indovinelli logici classici sono implicitamente "paradossali", nel senso che il motivo per cui risultano interessanti è che il giocatore ha inizialmente l'impressione di non disporre di dati sufficienti per risolvere il problema, o che il problema sia insolubile. Anche in questi casi, dunque, risolvere il problema significherà comprendere e isolare un proprio precedente errore di ragionamento.

Una suddivisione fondamentale degli indovinelli di logica suddivide quelli a "informazione iniziale completa" da quelli di tipo "aristotelico". Nella prima categoria di giochi, la domanda viene posta immediatamente in forma completa, fornendo al giocatore tutti gli elementi significativi per individuare (e riconoscere) la risposta. La seconda categoria invece è costituita da quei giochi (spesso basati su paradossi) in cui dopo aver ascoltato la descrizione iniziale del problema, fornita in modo volutamente parziale, il giocatore può cercare di ottenere ulteriori informazioni facendo domande, solitamente con il vincolo che si tratti di domande con risposta sì/no.